Automated verification of function block-based industrial control systems
نویسندگان
چکیده
منابع مشابه
Automated Verification of Function Block Based Industrial Control Systems
7 Abstract The international standard IEC 61131-3, which supports Brad Cox' concept of " Software-ICs " 9 for industrial control programming, is increasingly being used in safety-related application domains. They include safety-instrumented functions, such as burner management, emergency shut-11 down and gas leak detection, but also complex automation processes controlling, e.g., chemical produ...
متن کاملModular Verification of Function Block Based Industrial Control Systems
IEC 61131-3, the world-wide standard for industrial control programming, is increasingly being used in safety-related control applications. Control loops are built from components taken from domain-specific function block libraries. Code inspection and testing are the two predominant quality assurance techniques. For highly dependable control applications, however, these techniques are not suff...
متن کاملSimulation-Based Automated Verification of Safety-Critical Chassis-Control Systems
This paper presents and exemplifies a novel methodology to perform simulation-based automated testing for verification of complex chassis-control systems. The methods are derived from computer-game principles and regard the system under test as an opponent that is defeated when the specification is violated. The methodology is demonstrated on an auto-coding implementation of a brake-blending fu...
متن کاملFunction block applications in control systems based on IEC 61804.
A variety of fieldbus technologies and digital fieldbus devices have been introduced within the process industries over the last ten years. There has been a gradual acceptance of the fact that a variety of communication technologies are needed to fully address the application requirements of a manufacturing facility. However, engineers responsible for the specification, engineering, and impleme...
متن کاملCost Function Modelling for Semi-automated SC, RTG and Automated and Semi-automated RMG Container Yard Operating Systems
This study analyses the concept of cost functions for semi-automated Straddle Carrier (SC), Rubber Tyred Gantry (RTG) and automated Rail Mounted Gantry (RMG) container yard operating cranes. It develops a generic cost based model for a pair-wise comparison, analysis and evaluation of economic efficiency and effectiveness of container yard equipment to be used for decision-making by terminal pla...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2002
ISSN: 0167-6423
DOI: 10.1016/s0167-6423(01)00028-4